Length : 59824 Status : RO On Anti - Links †
نویسندگان
چکیده
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths in a negation normal form formula. The operations have linear time complexity in the size of that part of the formula containing the anti-link. These operations are useful for prime implicant/implicate algorithms because most of the computational effort in such algorithms is spent on subsumption checks.
منابع مشابه
Content - Length : 59824 Status : RO On Anti - Links †
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths in a negation normal form formula. The operations have linear time complexity in the size of that part of the formula containing the anti-link. These operations are useful for prime...
متن کاملAnti-Ro(SSA) autoantibodies are associated with T cell receptor beta genes in systemic lupus erythematosus patients.
Several of the heterogeneous clinical manifestations of systemic lupus erythematosus have been associated with specific autoantibodies. Associations between HLA class II antigens and autoantibodies to the ribonucleoproteins Ro(SSA) and La(SSB) have been reported in these patients. Because HLA class II molecules present antigen to T cell receptors (TCRs), we have searched for a TCR gene associat...
متن کاملCorrelation of Maternal Autoantibodies with Fetal Congenital Heart Block.
BACKGROUND Autoimmune fetal congenital heart block (CHB) is the most severe manifestation of neonatal lupus, and it is seen when maternal autoimmune antibodies cross the placenta and damage the AV node of the fetus. CHB is mainly associated with maternal SLE with anti-Ro/SSA- and anti-La/SSB-positive status, and incidence of CHB increases when both the antibodies are present. This study was con...
متن کاملThe interaction between anti-Ro/SSA and anti-La/SSB autoantibodies and anti-infectious antibodies in a wide spectrum of auto-immune diseases: another angle of the autoimmune mosaic.
OBJECTIVES The presence of anti-Ro/SSA and anti-La/SSB antibodies has been linked with autoimmunity in general and with several autoimmune diseases (AID) in particular. In the current study we evaluated these antibodies in a wide spectrum of AID as well as the links between them and anti-infectious antibodies. METHODS We examined 2082 sera from patients with 16 different AID compared to 524 s...
متن کاملThe Ro/SSA autoantigen as an immunogen. Some anti-Ro/SSA antibody binds IgG
The rheumatic disease autoantigen, Ro/SSA, was immunogenic to a rabbit host. The heteroimmune rabbit serum bound the Ro/SSA particle in immunoblots and in an ELISA. Both the rabbit anti-Ro/SSA and a human prototype anti-Ro/SSA serum also bound IgG; and moreover, IgG inhibited both rabbit and human anti-Ro/SSA activity. Anti-IgG activity of the rabbit and human anti-Ro/SSA sera bound Ro/SSA by W...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006